Portoro marble and quarry activities in the gulf of La Spezia (N. Italy): giacimentological framework and historical exploitation techniques.