To mark National Beer Day, we asked Edinburgh residents where they think is the best place in the city to get a pint?