The ALICE time of flight system