Numerical validation of the conjecture of a subglacial lake at Amundsenisen, Svalbard