什么是操作系统 linux属于什么操作系统