User hints: a framework for interactive optimization