Formally verified latency-aware VNF placement in industrial Internet of things