Integrable perturbation theory for dark solitons of the defocusing nonlinear Schrodinger equation | Synapse