https://www.webopedia.com/definitions/batch-file/