A Double Error Correction Code for 32-bit Data Words with Efficent Decoding