Created rot_ECI_to_ECEF function