Spectral theory for normal operators on quaternionic Hilbert spaces