Rock Physical Modeling of Tight Sandstones Based on Digital Rocks and Reservoir Porosity Prediction From Seismic Data