Ticking Clocks as Dependent Right Adjoints: Denotational Semantics for Clocked Type Theory