Queen Sonja: Norway queen leaves hospital after pacemaker surgery: palace