Colombia mining exports recovered to $5.6 bln in first half,