Synthesis of optimal and near-optimal distillation sequences by a bounding strategy