How many people are actually 7 feet tall?