Symbotic makes algorithm-backed machines that move goods along the supply chain with speed and accuracy.