Elon Musk says The Boring Company will launch in China this month