Text this: Early Diagnosis of Liver Metastases from Colorectal Cancer through CT Radiomics and Formal Methods