El Reglamento de policía minera de 1897: sus principales aportaciones en materia de prevención de riesgos laborales