The optimization of man-powered aircraft