CTNNB1 and hepatocellular carcinoma: HCC animal models with CTNNB1 manipulation.