Invariant valuations on quaternionic vector spaces