Some recent results on long cycles in tough graphs