Combining Model Estimates and Measurements Through an Ensemble Kalman Filter to Estimate Carbon Sequestration