What3words, a start-up that is looking to overhaul the world's addressing system, has raised $8.5 million.