Graph colorings and graph limits