How are the Lorentz transformations derived from the constancy of the speed of light?