Colombia’s July oil production up 9% on year