Short tandem repeat analysis of host's hepatocellular carcinoma by laser microdissection confirms the validity of safety procedures in liver transplantation: a forensic case.