The history of inguinal hernia surgery