How does a washing machine drain