Correlation decay and deterministic FPTAS for counting list-colorings of a graph