The Distributed Discrete Gaussian Mechanism for Federated Learning with Secure Aggregation