Independence-Friendly Logic: A Game-theoretic Approach