On the rate of mixing of circle extensions of Anosov maps