Coordination of Autonomous Vehicles: Taxonomy and Survey