Semantic categories of artifacts and animals reflect efficient coding