IRS-Enhanced OFDMA: Joint Resource Allocation and Passive Beamforming Optimization | Synapse