Trade-ins and Transaction Costs in the Market for Used Business Jets