The Inverted Pendulum Benchmark in Nonlinear Control Theory: A Survey. (7th May 2013)