evolución histórica del derecho minero