Body size in mice