Backstepping design for controlling Lorenz chaos