A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks