Differentiation of a very thick magma body and implications for the source regions of mare basalts