2023年，我国高铁营业里程达到（）万公里。