The effect of vagotomy on human gastric secretion