Privacy-Preserving Data Aggregation with Public Verifiability Against Internal Adversaries