Dolphin software uses AI to simulate baseball coaching decisions.