Total, Shell, BP: Ölbranche feiert Rekordjahr