Exploitation and use of marble in Galicia from Roman times to the completion of the Romanesque Cathedral of Santiago de Compostela (1st-13th centuries AD)