The Soviet Union's giant Tupolev Tu-114 turboprop airliner, which entered service in 1961, was powered by which extremely powerful engines driving contra-rotating propellers?