Phase extension and refinement by density modification in protein crystallography