Martin of Opava and the treatment of imperial history in Dominican works of compilation, c. 1250-1330.