IdealKnock: A framework for efficiently identifying knockout strategies leading to targeted overproduction. (April 2016)