Nokia sells Qt business to Digia