How a one-of-a-kind robot led researchers deep into the Great Pyramid