Translatio populorum—translatio virtutis : a typological rethinking of translatio imperii in twelfth-century historiography