The limited economic impact of the US shale gas boom