Simulation optimization under input uncertainty: Formulations, algorithms, and insights