Gulf Air reports 12.6 percent passenger growth