Colombia launches strategy to manage mining revenues