Simulating ice cover in lakes as a function of air temperature: preliminary results from Lake Tovel