Relativistic formalism to compute quasiequilibrium configurations of nonsynchronized neutron star binaries