Strong stationary times and mixing: theory