Harmonic analysis in non-Euclidean geometry: trace formulae and integral representations