Faster algorithms for mean-payoff games