Theoretical advances in signal analysis of DEER spectroscopy