Leasing and Secondary Markets: Theory and Evidence from Commercial Aircraft