Is oil considered a mined mineral, or just shale oil?