Theory Inspires, but Examples Engage: A Mixed-Methods Analysis of Worked Examples From CoderBot in Programming Education | IEEE Journals & Magazine | IEEE Xplore