A Neural Network for Error Correcting Decoding of Binary Linear Codes