Brain Loci of Temporal Coding and Serial-order Control for Verbal Working Memory Revealed by Computational Modeling and Focal Lesion Analysis of Memory-span Performance*