Concise Introduction to Data Compression