Irreducible triangulations of a torus