Foundations of Boundedly Rational Choice and Satisfying Decision