New Insight into the Properties of Proton-Conducting Oxides from Neutron Total Scattering