Length contraction in relativity