How US Export Controls Have (and Haven't) Curbed Chinese AI