Workmen's compensation: prevention, insurance, and rehabilitation of occupational disability