Augmenting a space mission design course with high-altitude balloon projects