Coherence for Frobenius pseudomonoids and the geometry of linear proofs (Logical Methods in Computer Science, 2019)