JalTantra: A System for the Design and Optimization of Rural Piped Water Networks