mixing times