Knowing-how & Knowing-that: A New Task for Machine Comprehension of User Manuals