Genotyping of pooled microsatellite markers by combinatorial optimization techniques