Gravar-mail: Vertex operator algebras, the Verlinde conjecture, and modular tensor categories