Exploration and development of the Krafla geothermal area