how much is it to waterproof a basement