Incorporation of mines to the public domain category. History of the doctrinal discussion and current situation [Incorporación de las minas a la categoría del dominio público. Historia de su discusión doctrinaria y situación actual]