Mali massacre: Troops struggle to disarm ethnic militia