Norwegian fund sells 600m euros of Rio Tinto shares following government ban