Urban and industrial water use in the Krishna Basin, India