Electrochemical property of proton-conductive manganese dioxide for sensoring hydrogen gas concentration