Analytical modeling and verification experiments of small electric helicopters with stabilizers based on the blade-element approach