PTCH1 and epidermal nevus syndrome: Epidermal nevus syndrome with the mutation of PTCH1 gene and cerebral infarction: a case report and review of the literature