Advances in G-complete reducibility