How much money does idf workers make?