how much water is required to flush a toilet