Opera acquires AdColony to become the world’s leading mobile video ad platform