Research and practice on regional big data industry planning: a case study by taking the big data development and application planning of Shanxi Province as an example