Modeling, Design, and Control of Multiple Quadrotors