The causal set approach to quantum gravity