On pre-exit joint occupation times for spectrally negative Lévy processes