syntax for while loop in shell script