Learning curve assessment of rule use provides evidence for spared implicit sequence learning in a mouse model of mental retardation