A Rule-Based Computational Model of Cognitive Arithmetic