Fine-grained Population Mapping from Coarse Census Counts and Open Geodata