CAPRI: Efficient Inference of Cancer Progression Models from Cross-sectional Data