The schools of Charles the Great and the restoration of education in the ninth century