As Android O debuts, Marshmallow still commands about a third of devices