Attractor bifurcation theory and its applications to Rayleigh-Bénard convection