Retrieval of vertical profiles of NO3 from zenith sky measurements using an optimal estimation method