地下开采时，厚度在（）以上的煤层为厚煤层。