Toward an Automated Auction Framework for Wireless Federated Learning Services Market