Hierarchical task allocation and chance-constrained trajectory optimization for heterogeneous quadrotor swarms | Synapse