The Robolympics in Beijing feel lighthearted. But under the hood is the race for a $15-40 billion market by 2030.