Explanatory Notes on the Calculation of Average HKDSE Scores