how much water is needed to flush a toilet