An awk tutorial