Forty thousand public sector workers strike against Costa Rican government