Opera sees big jump in EU users on iOS, Android after DMA update