NYC mayor’s budget doesn’t heed calls to hire more police