Shipping traffic through the Arctic Ocean: Spatial distribution, seasonal variation, and its dependence on the sea ice extent