STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks