Symplectic semifield planes and ℤ₄–linear codes