After quarterly loss, a front-office reshuffling at Nokia