AVX-512: added cost for some AVX-512 instructions