Why is Succos "זמן שמחתנו"? The Maharal's definition of שמחה.