how much do civil servants earn?