Joint distribution of a spectrally negative Lévy process and its occupation time, with step option pricing in view