Inferring Cancer Progression from Single-Cell Sequencing while Allowing Mutation Losses