what exactly defines a "monthly user" for Opera and how is that measured? Is it based on usage statistics, or is it just number of installed/downloaded clients?