At 10 a.m. it was 93 degrees outside. At noon, the radio said that the temperature had tied the record-high of 102 degrees. How much did the temperature rise between 10:00 and noon