Concurrent Separation Logic Meets Template Games