Stability and Performance Analysis of Discrete-Time ReLU Recurrent Neural Networks