Phosphate buffer and the henderson-hasselbalch equations: An exercise in theory and practice