Weighted Sum-Rate Maximization for Multi-IRS Aided Integrated Terrestrial-Satellite Networks