Mining and knowledge of the Earth in Eighteenth-century Italy