Species discrimination and population differentiation in ants using microsatellites.