Colombia gets $5.84B credit line from IMF