A formal, computational theory of multiple-goal pursuit: Integrating goal-choice and goal-striving processes. | Synapse