Improving the Estimation of Lake Ice Thickness with High-Resolution Radar Altimetry Data