If you mine privately, is that still OK?
It all comes down to fair use policy I guess. If you take into consideration that their power supply is very limited at low cost, it's pretty understandable that they try to avoid situations where miners use up precious resources.
It would result in a situation where miners have no problems paying eventual premiums, but that will become a problem for their residents and local economy. I think it's safe to say that even privately mining won't be allowed.
If one person is doing it there won't be much of a problem, but what if a few hundred people do it at the same time? That will likely exceed the tolerance of fair use policy, and for that reason will likely be penalized.
And it's not an actual ban, but more a temporary halt from the looks.