A Concise Introduction to Data Compression