Temporal dynamics of model-based control reveal arbitration between multiple task representations | Synapse