Text this: Fine-grained population mapping from coarse census counts and open geodata