Modeling and Control Design for the ARES Aircraft, Model-based Aerospace Challenge #1