German Army to deploy soldiers in Mali