awk script to print a single value for each key