How have the salaries of customs officers and other civil servants changed?