how much should waterproofing a basement cost