Troops deployed to border with Venezuela: Colombia