Finite-Time Synchronization of Markovian Coupled Neural Networks With Delays via Intermittent Quantized Control: Linear Programming Approach