In the Late Empire and Middle Ages Vergilius was spelled Virgilius. Besides Virgilius, which other spelling is permitted in modern usage?