how much water needed to flush a toilet