Practical Secure Aggregation for Federated Learning on User-Held Data