A Data Pseudonymization Protocol for Smart Grids