Colombia bans the use of mercury in mining