What is a spacetime interval?