Unmanned Solar Airplanes: Design and Algorithms for Efficient and Robust Autonomous Operation