Text this: Urban and industrial water use in the Krishna Basin, India