Andrés Restrepo, de Mineros SA: «No tenemos una política minera clara en Colombia»