Ubuntu tapped by China for national operating system