Exactly how much taller than the average man was Charlemagne? Why is his height not mentioned more often in primary sources, especially in regards to how it affected his performance on the battlefield(along with intimidation factor)?