So far so good: How Colombia’s green energy push dovetails with its mining industry