DFW lost over 10,000 manufacturing jobs in one month