Lightweight Sequential Transformers for Blood Glucose Level Prediction in Type-1 Diabetes