Stroški, ki jih je Republika Slovenija porabila za arbitražni postopek do vključno 25. maja 2017