Interface electronic structure at the topological insulator–ferrimagnetic insulator junction. (2nd December 2016)