Chinese government backs development of Linux operating system