Benefits and costs of vertical agreements between airlines and high speed rail operators