What does one call a mutation that occurs in a DNA sequence that changes the amino acid specified by that sequence?