Netherlands Dataset: A New Public Dataset for Machine Learning in Seismic Interpretation