Multi-aircraft Conflict Resolution using Velocity Obstacles