Fast task-sequence allocation for heterogeneous robot teams with a human in the loop