Statistical Model Checking of NetLogo Models