"Volcanic travels" and the development of volcanology in 18th century Europe