The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction