An explicit model of prefrontal executive control