How high can a washing machine pump it's drain water out? We want to move our washing machine to the basement and wonder if we can get away without installing a sump pump.