The amplitude of a sound is doubled, and nothing else changes. What happens to its pitch?