Gulf Air posts record passenger figures for 2003