Scale-Invariant Specifications for Human-Swarm Systems