Operations research models for railway rolling stock planning door G. Maroti