Computer programs for planning broadcasting-satellite services in the 12 GHz band