Mathematical foundation of flow of glaciers and large ice masses Kolumban Hutter (1985) Banach Center Publications