Exact Mixed-integer Convex Programming Formulation for Optimal Water Network Design.