Gluformer: Transformer-Based Personalized Glucose Forecasting with Uncertainty Quantification