Hovering Flight for a Micromechanical Flying Insect: Modeling and Robust Control Synthesis