On the mental effort associated with retrieval practice, and what Small Teaching principles look like when put to work in an introductory programming class