The life of Mir Jumla, the general of Aurangzeb