A Model Checker for Natural Strategic Ability