A review of oceanic salt-fingering theory