Availability of brachymorphic mice as undersulfated animals