Human Supervision of Multi-robot Systems