Certifiably Optimal Satellite Orbit Determination Based on Doppler Measurements for Low-Earth-Orbit Satellites