Augmented Reality for Machine Monitoring in Industrial Manufacturing: A Media Comparison in Terms of Efficiency, Effectiveness, and Satisfaction | IEEE Journals & Magazine | IEEE Xplore