Threshold π+ electroproduction at high-momentum transfer: A determination of the nucleon axial vector form factor