Chipmaker GlobalFoundries to receive $3.1B from US government