How much water should a sump pump have in it?