Habit formation coincides with shifts in reinforcement representations in the sensorimotor striatum | Synapse