What does the following HTML code do?

<audio>
  <source src="song.mp3" type="audio/mp3">
  <source src="song.ogg" type="audio/ogg">
</audio>