Kenyan troops formally join AMISOM