Satisficing and (un)bounded rationality—A formal definition and its experimental validity