TEXGen: a Generative Diffusion Model for Mesh Textures