CiDi Becomes the First Company Specializing in Autonomous Mining Trucks of HKEX, with a Market Capitalization of HK$11.5 billion