AVX-512: intrinsics for VPADD, VPMULDQ and VPSUB