NIO ET9, a showcase of cutting-edge technology, is priced at 800,000 yuan