Intelligent reflecting surface-aided Doppler compensation for Low-Earth orbit satellite networks: Joint power allocation and passive beamforming optimisation.