If straight blades are preferable for infantry warfare and curved blades for mounted warfare, why did medieval Frankish cavalrymen use straight swords, even into contact with Islamic armies?