Thinking Machines' first model, Inkling, lands behind China's best