How much did the entire tech industry grow in that period?