Mopping Robots Exist and They Could Save a Lot of Water