Text this: Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory