Symposium and Core Workshop on 50 Years of Petroleum Exploration in the Netherlands after the Groningen Discovery Conference