Motion Planning in Crowds using Statistical Model Checking to Enhance the Social Force Model