The Boeing 720, a shorter-range, lighter derivative of the Boeing 707 introduced in 1960, was originally designated by Boeing under which model number before being rebranded?