Two Algorithms for Finding $k$ Shortest Paths of a Weighted Pushdown Automaton