Dumb Crypto in Smart Grids: Practical Cryptanalysis of the Open Smart Grid Protocol