Artificial Intelligence and Machine Learning in Satellite Data Processing and Services