The importance of imaging in the diagnosis of gastric diverticulum: a case report