There are `num_courses` courses labeled 0..num_courses-1. `prerequisites[i] = [a, b]` means you must take b before a. Return true if you can finish all courses (the prerequisite graph has no cycle).