Nokia takes over Symbian OS development