Phase coexistence in a DLVO model of globular protein solutions