The End of Dijkstra's Algorithm? Breaking the Sorting Barrier for Shortest Paths [video]