Problem description and model formulation