how much does it cost to waterproof a basement