a mayor is the head of a city