Probabilistic fracture mechanics analysis of spalling during edge indentation in ice