Korean startup Mars Auto set to launch self-driving trucks in 2023