Finding Top K Shortest Paths With Diversity