NHS Diversity: How many foreigners work in the NHS?