Construction and analysis of educational tests using abductive machine learning