Category:Oil shale mines by country