Thermochemical models of oceanic upper mantle