La fórmula luterana simul iustus et peccator, en la Declaración común de la justificación (1999) y en la discusión teológica actual