how long should dishwasher drain hose be