Rolling stock planning for passenger trains based on ant colony optimization