Schelling Formalized: Strategic Choices of Non-Rational Personas