How to repair and prevent basement flooding