Intel to receive $8.5bn in US funding for high-end chip manufacturing