Angelo Sismonda (1807–1878), pioneer of geological mapping in the Alps of Savoy and the Piedmont: a bibliography