Colombia says economy grew 4.2% in Q2