Double-decker high-speed trains