Korean Air launches Airbus A380 service at Atlanta