History of volcanology