Countable contraction mappings in metric spaces: invariant sets and measure