Double-decker bus