Theoretical analysis of rank-based mutation - combining exploration and exploitation