Taxonomy and Abstraction of the On-demand Mobility Aviation System for Smart Cities