Investigating the assimilation of CALIPSO global aerosol vertical observations using a four-dimensional ensemble Kalman filter