Recent developments in the theory of algebraic groups: good reduction and finiteness properties