publication venue for A comparative analysis of reinforcement learning algorithms for earth-observing satellite scheduling 2023