Multimodal Hub-and-Spoke Network Design Problems to Integrate Urban Air Mobility and High-Speed Rail Services: A Semi-Quadratic Assignment Formulation and its Linearization | Synapse