Quantification and timing of porosity evolution in tight sand gas reservoirs: an example from the Middle Jurassic Shaximiao Formation, western Sichuan, China