Combining Seismic Models With Real-Time LWD Measurements To Reduce Geologic Uncertainty: A Case Study of the Mars A-8 Extended-Reach Well