According to the Economic Survey 2024, what is the contribution of the service sector to GDP?