Text this: Work-related eye injuries among Social Security-insured workers in Brazil: magnitude and temporal trend, 2003–2019