Added AVX-512 mask instructions