Biosynthesis and function of tetrahydrobiopterin