Awk print number of lines