Adding and Segmenting Educational Videos: Experiences of Teacher Users in an Educational Portal | IEEE Journals & Magazine | IEEE Xplore