[awk] Print line numbers starting at zero using awk