Robot runs half-marathon faster than human world record