Which Electro-Motive Corporation (EMC) diesel locomotive model, introduced in 1939, is widely credited with proving that diesels could replace steam in heavy mainline freight service?