How tall was Goliath? Was he really more than 9 feet tall, or shorter than that? Does it make any difference?