The history of vagotomy