FedDP: A Privacy-Protecting Theft Detection Scheme in Smart Grids Using Federated Learning | Synapse