Digitizing Classroom Video: Technical Considerations in Video Editing