Airbus-built SKY Brasil-1 satellite successfully launched by Ariane 5