Mobile Android users could receive part of a $700 million settlement over Google Play Store policies (UPDATE)