amount of water needed to flush a toilet