What is a batch processing operating system