whats the height of a midget