Towards Opportunistic Navigation With Leo Satellites: Machine Learning For Satellite Orbit Propagation