A functional and molecular study of mechanisms contributing to the removal of protons from the rumen.