The US shale oil boom is saving the world almost $5 billion a day