average cost to waterproof basement