煤层气在煤矿生产中俗称（ ）。