SpaceX’s self-landing rocket is a flying robot that’s great at math