how high should a washing machine drain pipe be