Um formalismo para a modelagem e a inversão de anomalias crustais em magnetometria por satélite