A probabilistic algorithm for gene-species reconciliation with segmental duplications