¿Los ingresos producto de una opción de compra en una concesión minera, están sujetos a ser gravados?