Successful pregnancy and vaginal delivery after laparoscopic excision of a congenital uterine cervical diverticulum: A case report