If the $4.2 billion figure is correct for total lifetime costs (development, launch, and operations), how did the Russians manage to keep costs so low?