Causal Dynamical Triangulations