Turkey sacks about 4,000 officials as part of post-coup crackdown