The effect of a gastric mucus barrier on the dynamic response of a pH electrode