Simultaneous Inference of Cancer Pathways and Tumor Progression from Cross-Sectional Mutation Data