Nafion-Based Proton-Exchange Membranes Built on Cross-Linked Semi-Interpenetrating Polymer Networks between Poly(acrylic acid) and Poly(vinyl alcohol) | Synapse