El peñón de Arruta (Jeres del Marquesado, Granada): Una explotación minera romana