The Time of Flight System and Trigger Electronics for the PAMELA Experiment in Space