An anytime branch and bound algorithm for agile earth observation satellite onboard scheduling. Issue 9 (1st November 2017)