added STL top-K algorithm