Bismuth-doping effect on structural properties and proton conductivity of pyrochlore-type antimonic acid