Incentive Design for Efficient Federated Learning in Mobile Networks: A Contract Theory Approach | Synapse