Coalification in the northern Wildhorn nappe and adjacent units, western Switzerland. Implications for tectonic burial histories