( Pseudo-) Trace Functions and Modular Invariance of Vertex Operator Algebra