Representations of Hopf algebras via the Tannaka-Krein formalism