Energy-efficient timetabling and rolling stock circulation planning based on automatic train operation levels for metro lines