How deep should my sump pump pit be?