Phase separation and dynamical arrest of protein solutions dominated by short-range attractions.