optimized query for label counters

I (automatically) assign quite a lot of labels to articles. Therefore one of the queries that came up in my mysql slow queries log was the label counter query.

Playing around a bit with the query I was able to reduce the processing time by around 25%. Unfortunately not a huge number, but the difference is visible in the UI (when the feed counters get updated the first time).