Modeling type 1 diabetes progression using machine learning and single-cell transcriptomic measurements in human islets