התכנון הצבאי של המדינה: ההכוונה הצה"לית לתעשייה ולתשתיות האזרחיות לאחר מלחמת העצמאות