does a sump pump pit need to be vented