Orbitofrontal and striatal circuits dynamically encode the shift between goal-directed and habitual actions | Synapse