SMS dit: Pathway analysis and optimization in metabolic engineering