STLnet: SignalTemporalLogicEnforced MultivariateRecurrentNeuralNetworks