As of 2003, roughly how many full time workers were employed in the tourism industry?