Relativistic Transformation between the Proper Time τ and TCG for Mars Missions