A Testbed for Investigating Task Allocation Strategies between Air Traffic Controllers and Automated Agents