New formulation and optimization methods for water sensor placement