GPPS: an ILP-based approach for inferring cancer progression with mutation losses from single cell data