Estavayer-le-Lac, lac de Neuchâtel