what is the point of a batch file and how do you do em