Pentagon deploys small number of troops to war-torn Mali