If BTC goes to 200k, how much would MicroStrategy be worth?