Model Checking for Nominal Calculi