Samsung agrees to Nokia’s Symbian takeover