how much is it cost to waterproof a basement