Mining And Crafting Mathematics: Designing A Model For Embedding Educational Tasks In Video Games