Ensemble Kalman Filter for Pollution Source Characterization in Water Supply Systems