On the use of robot-enhanced learning activities across formal and informal K-12 curricula | IEEE Conference Publication | IEEE Xplore