Human-in-the-loop Mission Planning and Monitoring for Robot Swarms