Lars Benzelstierna, 1680-1755, mineralog