From Digital Representation to Cooperative Control: A Review of Smart Highways Enabled by Digital Twins and Vehicle–Road–Cloud Integration