Metrizable completely distributive lattices