Formal model of the interplay between TGFβ1 and MMP-9 and their dynamics in hepatocellular carcinoma.