Dynamical modelling of wintertime Lidar observations in the Arctic: Ozone laminae and ozone depletion