List three types of operating systems.​