Early diagnosis of liver metastases from colorectal cancer through CT radiomics and formal methods: A pilot study