Interpretation of the Lewisville sequence, Van Oil Field, Van Zandt County, Texas