Live news: Biggest US shale oil group Pioneer reports record annual profit