The formation of the double neutron star pulsar J0737 − 3039