Peppermint oil in gastrointestinal medicine