Algorithms for sequence-based reverse metabolic engineering