Total US Shale Oil Production- update until 2015-12