More information has come out about China Satnet’s plans to deploy about 13,000 satellites to “defeat” Starlink’s unwelcome competition. But the numbers don’t add up.