Intel to receive additional $3bn from US government to make chips for military