Contaminant-Source Detection in a Water Distribution System Using the Ensemble Kalman Filter