Formal Methods for Prostate Cancer Gleason Score and Treatment Prediction using Radiomic Biomarkers