Implicit and declarative learning and mathematics instruction