Reliability Case Notes No. 7. Risk assessment of the hot-water drilling system for accessing subglacial Lake Ellsworth