Will MicroStrategy face a Bitcoin margin call?