Timing of trap formation and petroleum generation in the northern East China Sea Shelf Basin