How much was the 2013 sale of US shale gas assets worth