Short-term rail rolling stock rostering and maintenance scheduling