Transit-oriented development and floor area ratio regulation in a transportation corridor: Formulation and a case study · Study