A knowledge-base for processed food reformulation to tackle obesity