Public sector workers in Germany go on strike, demanding pay increase