creator of the Linux computer operating system