Faster sorting algorithms discovered using deep reinforcement learning | Synapse