average cost to waterproof a basement