Quantitative calibration of remote mountain lake sediments as climatic recorders of ice-cover duration