history of double decker bus