Tetraploidy in mice, embryonic cell number, and the grain of the developmental map