agencia de regulación y control minero