On the size of integer programs with bounded non-vanishing subdeterminants