Kepler marine data: Oil transportation operations through the Strait of Hormuz amount to 9 million barrels per day