How AI helped improve crowd counting in Hong Kong protests