what is batch operating system