Spatially variable taxation and resource extraction: The impact of state oil taxes on drilling in the US