Gravar-mail: A case of Mirizzi syndrome that was successfully treated by laparoscopic choledochoplasty using a gallbladder patch