When did people realize that a whip crack was breaking the sound barrier? What did people think was causing that sound before then?