Finiteness theorems for discrete subgroups of bounded covolume in semi-simple groups