Proton conductivity in strontium cerates for hydrogen gas sensors in coal gasification systems