Deep Learning Prediction of Upcoming Atrial Fibrillation in ICU Patients: ResNet vs. ResNet+Mamba with Varying ECG Input Lengths (A Preliminary Study)