First batch of NIO ET7 sedans leave China port for Europe