Porosity loss in sand by grain crushing—experimental evidence and relevance to reservoir quality