History Matching of the PUNQ-S3 Reservoir Model Using the Ensemble Kalman Filter