Model Checking Multi-Agent Systems with MABLE