۵ تا ۱۲ درصد ماینینگ جهان مربوط به ایران است؟