The Management of Karst in Switzerland : methods, tools and applications