company that bought the angry birds developer, rovio, in 2023