What are the main paths miners can take to enter AI? | Fred Thiel from MARA Holdings