Analysing Results from AI Benchmarks: Key Indicators and How to Obtain Them