High temperature synthesis of nickel aluminide alloys with tungsten carbide