Il funzionale di Totale Variazione nel problema dell'eliminazione del rumore da immagini digitali: dal modello al software matematico