Billion-dollar Bitcoin mining industry resumes in Iran after three-month ban