shell script while loop example read file