Distributed Formation Control of Unicycles with Collision Avoidance