Forty-to-dot, Sejong Smart City Mobility Building… “The public transportation problem, solved by autonomous driving”