Category:Oil shale mining by country