Hepatocellular carcinoma in WHV/N-myc2 transgenic mice: oncogenic mutations of β-catenin and synergistic effect of p53 null alleles