D-alanine biosynthesis