Neural-Lyapunov-Based Adaptive Resilient Cruise Control of Platoons subject to Cyber-Attacks