How much does the production of a space rocket add to GDP if the shell costs $2,500; the paint costs $200; the finisher costs $350; the manufacturer sells it to the dealer for $5,000, and the dealer sells it to her customer for $8,000