The Human Resources for Health Effort Index: a tool to assess and inform Strategic Health Workforce Investments