Iraq buys $4.2 billion in Russian weapons-document