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