Efficient modeling of the gravity anomaly caused by a sedimentary basin with lateral variable density contrast and its application in basement relief estimation