Russian mining IPO comes with sanctions noise