Brazil: half a million workers strike