Physics of Solar Prominences: I—Spectral Diagnostics and Non-LTE Modelling