How many people work in the trades in the US?