Names of pubs in the United Kingdom extracted from the Open Street Map dataset