Model identification and attitude control for a micromechanical flying insect including thorax and sensor models