Controllability Properties for Aircraft Formations