Process of porosity loss and predicted porosity loss in high effective stress sandstones with grain crushing and packing texture transformation