Text this: Recent changes in human resources for health and health facilities at the district level in Indonesia: evidence from 3 districts in Java