How many people did GE employ overall as of 2009