multiplication in gf(2^128)