Lithostratigraphy of Permian marine sequences, Khao Pun Area, central Thailand: Paleoenvironments and tectonic history