Tech groups protest anti-China provision in US budget resolution