Airship Sizing for Flying Qualities: An Automated Methodology and Applications | Synapse