Public sector workers - actual pay vs pay with inflation 