MicroStrategy and Michael Saylor settle tax case for $40M