Specification-Based Task Orchestration for Multi-Robot Aerial Teams