Theoretical basis for the Double Precision Orbit Determination Program /DPODP/. IV - Light time solution