Crude oil and petroleum product exports reach record levels in the first half of 2017