thiamine diphosphate biosynthesis