Time Dilation Formula Derivation