Supernova di tipo Ia: proprietà, modelli e teorie