Text this: Business cycle sensitivity of Statutory Health Insurance: evidence from the Czech Republic