An introduction to optimal satellite range scheduling. ([2015])