A biogenic-chemical stratified lake model for the origin of oil shale of the Green River Formation: An alternative to the playa-lake model