Gulf Air provides defibrillators on board aircraft