Microlocal Analysis of Hyperbolic Equations with Memory and Applications