Converting a proton concentration into a pH