Sea ice export through the Fram Strait derived from a combined model and satellite data set