Towards 6G V2X Sidelink: Survey of Resource Allocation—Mathematical Formulations, Challenges, and Proposed Solutions | IEEE Journals & Magazine | IEEE Xplore