Semantic Indexing for Instructional Video Via Combination of Handwriting Recognition and Information Retrieval