What is the amount of manpower engaged in the industrial sector according to the Economic Survey 2024?