minería de arena y grava necesarias formalidades