Game semantics in string diagrams