An Auction-based Marketplace for Model Trading in Federated Learning