CAMPUS: a generic framework for Computer Assisted Mathematical Problem Understanding and Solving