Ohio state government payroll tops $3 billion