Progress in proteomics-based diagnosis of hepatocellular carcinoma