David Letterman announces retirement