Mathematical gain models of large-aperture space research service earth station antennas for compatibility analysis involving a large number of distributed interference sources