Finite-time Circle Formation Control with Collision Avoidance