Geology and mining in 18th century Italy: Giovanni Arduino and Spirito Nicolis di Robilant