Determination of the gluon distribution in the nucleon from deep inelastic neutrino scattering