A mascon approach to estimating the depth of Jupiter's Great Red Spot with Juno gravity measurements. (February 2020)