Diagnosis of arterial gas embolism in SCUBA diving: modification suggestion of autopsy techniques and experience in eight cases