发送短信 : A mixed integer programming model formulation for solving the lot sizing problem