China's Z.ai open-sourced a frontier coding model as Washington bans it rival