Text this: Distance-Based Formation Control for Quadrotors with Collision Avoidance via Lyapunov Barrier Functions