Volcano mining: The toughest job in the world