Selective printing of lines with AWK