Spacetime from causality: causal set theory