New York's brash former mayor, Ed Koch, dies at 88