2 ATL with Strategy Contexts : Expressiveness and Model Checking