is shale oil a substitute for crude oil