Feeder-link outage prediction algorithms for SDN-based high-throughput satellite systems