SAEV: Secure Aggregation and Efficient Verification for Privacy-Preserving Federated Learning