Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory (Logical Methods in Computer Science, 2020)