Causal dynamical triangulation