Spectrally negative Lévy processes with applications in risk theory