Shipping traffic through the Arctic Ocean: spatial distribution, temporal evolution and its dependence on the sea ice extent