Coal mining in the Netherlands: The need for a proper assessment