Breaking the sorting barrier for directed single-source shortest paths