Quantification of the performance of chaotic micromixers on the basis of finite time Lyapunov exponents