Modeling and numerical sensitivity study on the conjecture of a subglacial lake at Amundsenisen, Svalbard