High-altitude Balloon Trajectory Prediction with Corrections based on Real-Time Observations