Hlíf, RSÍ, FIT, VM og VR og SA v/Rio Tinto KÍ v/FT og SNS