What is the name given to the upper portion of the mantle, considered the main source of magma?