Towards a regional and urban air mobility future : the development of computational approaches for quantifying trade-offs in electric aircraft design