Exploring Antarctic subglacial lakes with scientific probes: a formal probabilistic approach for operational risk management