China bans exports to the US of gallium and other key materials after the US curbs computer chip-related exports.