Personalized Exercise Recommendation with Semantically-Grounded Knowledge Tracing