On the precise determination of the Fermi coupling constant from the muon lifetime