Ventral striatal dopamine reflects behavioral and neural signatures of model-based control during sequential decision making | Synapse