Input Convex LSTM: A Convex Approach for Fast Lyapunov-Based Model Predictive Control