Dolphin: a task orchestration language for autonomous vehicle networks