Silent mutations are selected in HIV-1 reverse transcriptase and affect enzymatic efficiency