Stability theory, permutations of indiscernibles, and embedded finite models