Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge