The Linux 'awk' command for beginners