Fast and Space-Efficient Maps: Shrinking Big Data Down to Size