Error-Correcting Linear Codes