A Survey of Discrete Trace Formulas