operating system and its types