Braided Hopf Algebras, Double Constructions, And Applications