Airstrikes seem to have mauled a portion of ISIS’s oil operations. That could hamstring its finances — and its war machine.