High-temperature gas sensors based on proton-conducting ceramic oxides. A brief review