Finiteness properties of groups