Spectral Theory of Infinite Quantum Graphs