isopentenyl diphosphate biosynthesis via DXP pathway