Model-Aided State Estimation For Quadrotor Micro Aerial Vehicles