Theory and simulation of short-range models of globular protein solutions