What is a device queue in windows operating system?