The Time-of-Flight system for the PAMELA experiment in space