added section on model formulation