Android maintains its long lead as the world's most widely used operating system.