A Gamified Mobile Augmented Reality System for the Teaching of Astronomical Concepts | IEEE Conference Publication | IEEE Xplore