Checking the ACT-R/Brain Mapping Hypothesis with a complex task: Using fMRI and Bayesian identification in a multi-dimensional strategy space.