Finiteness theorems for algebraic groups over function fields