Counting health workers: definitions, data, methods and global results