Encoding and decoding of motion vectors