Comprehensive coupled modeling analysis of stimulations and post-frac productivity - case study of a tight gas field in Wyoming