Thai Airways takes delivery of its first Airbus A380; becomes ninth operator of the superjumbo