Double extensions of dynamical systems and constructing mixing filtrations