Electrochemical Hydrogen Permeation in a Proton‐Hole Mixed Conductor and Its Application to a Membrane Reactor