A Game Semantics of Concurrent Separation Logic