PMCE: efficient inference of expressive models of cancer evolution with high prognostic power