Dynamical first-order phase transition in kinetically constrained models of glasses.