Colombia’s oil, mining boom is over: Central Bank official