Designed as a competitor to the DC-4, which pressurized, four-engine airliner was developed by Republic Aviation immediately after World War II but cancelled before commercial production?