Closing the Gap Between SGP4 and High-Precision Propagation via Differentiable Programming