Measurement of the VELA pulsar's proper motion and detection of the optical counterpart of its compact X-ray nebula | doi.page