A brief history of the philosophy of time