Collision-free Circle Formation Control for Mobile Robots with Velocity Constraints