Prison size, overcrowding, prison violence, and recidivism