city hall is a building where the mayor works